java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files pnueli-zuck.10.prism --model-input-type prism --property-input-files pnueli-zuck.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 7325 7325
build-model-states-explored 17283 9958
build-model-states-explored 27076 9793
build-model-states-explored 37220 10144
build-model-states-explored 47295 10074
build-model-states-explored 56682 9388
build-model-states-explored 66787 10105
build-model-states-explored 76944 10157
build-model-states-explored 86968 10024
build-model-states-explored 95583 8615
build-model-states-explored 105669 10086
build-model-states-explored 115697 10028
build-model-states-explored 125737 10040
build-model-states-explored 135807 10070
build-model-states-explored 145902 10095
build-model-states-explored 156251 10349
build-model-states-explored 167764 11513
build-model-states-explored 179318 11554
build-model-states-explored 190626 11308
build-model-states-explored 199144 8518
build-model-states-explored 210612 11468
build-model-states-explored 222110 11498
build-model-states-explored 233539 11429
build-model-states-explored 245057 11517
build-model-states-explored 256606 11550
build-model-states-explored 268047 11441
build-model-states-explored 279463 11416
build-model-states-explored 290905 11442
build-model-states-explored 302351 11446
build-model-states-explored 313835 11484
build-model-states-explored 325351 11516
build-model-states-explored 336882 11531
build-model-states-explored 348236 11354
build-model-states-explored 359713 11477
build-model-states-explored 371200 11487
build-model-states-explored 380434 9234
build-model-states-explored 388182 7748
build-model-states-explored 400049 11867
build-model-states-explored 411832 11783
build-model-states-explored 423689 11857
build-model-states-explored 435554 11865
build-model-states-explored 447503 11949
build-model-states-explored 459237 11734
build-model-states-explored 470998 11761
build-model-states-explored 482587 11589
build-model-states-explored 494297 11710
build-model-states-explored 506040 11743
build-model-states-explored 517858 11818
build-model-states-explored 529588 11730
build-model-states-explored 541141 11553
build-model-states-explored 552663 11522
build-model-states-explored 564348 11685
build-model-states-explored 575963 11615
build-model-states-explored 587339 11375
build-model-states-explored 598842 11504
build-model-states-explored 610371 11529
build-model-states-explored 621820 11449
build-model-states-explored 633309 11489
build-model-states-explored 644796 11487
build-model-states-explored 656176 11380
build-model-states-explored 667603 11427
build-model-states-explored 679076 11473
build-model-states-explored 690551 11475
build-model-states-explored 701719 11167
build-model-states-explored 713224 11506
build-model-states-explored 724710 11486
build-model-states-explored 736299 11589
build-model-states-explored 747784 11485
build-model-states-explored 757647 9863
build-model-states-explored 757792 145
build-model-states-explored 768867 11075
build-model-states-explored 780399 11532
build-model-states-explored 791981 11582
build-model-states-explored 803542 11560
build-model-states-explored 814944 11403
build-model-states-explored 826666 11722
build-model-states-explored 838451 11785
build-model-states-explored 850181 11730
build-model-states-explored 861951 11770
build-model-states-explored 873745 11794
build-model-states-explored 885588 11843
build-model-states-explored 897408 11820
build-model-states-explored 909263 11855
build-model-states-explored 921152 11889
build-model-states-explored 932935 11783
build-model-states-explored 944742 11807
build-model-states-explored 956600 11858
build-model-states-explored 968483 11883
build-model-states-explored 980322 11839
build-model-states-explored 992209 11887
build-model-states-explored 1004218 12008
build-model-states-explored 1015957 11740
build-model-states-explored 1027670 11713
build-model-states-explored 1039406 11736
build-model-states-explored 1051131 11725
build-model-states-explored 1062627 11496
build-model-states-explored 1074384 11757
build-model-states-explored 1086188 11804
build-model-states-explored 1098029 11841
build-model-states-explored 1109701 11672
build-model-states-explored 1121394 11693
build-model-states-explored 1133039 11645
build-model-states-explored 1144757 11718
build-model-states-explored 1156449 11692
build-model-states-explored 1168184 11735
build-model-states-explored 1180004 11820
build-model-states-explored 1191771 11767
build-model-states-explored 1203474 11703
build-model-states-explored 1215251 11777
build-model-states-explored 1227062 11811
build-model-states-explored 1238768 11706
build-model-states-explored 1250462 11694
build-model-states-explored 1262194 11732
build-model-states-explored 1273933 11739
build-model-states-explored 1285733 11800
build-model-states-explored 1297504 11771
build-model-states-explored 1309294 11790
build-model-states-explored 1320851 11557
build-model-states-explored 1332454 11603
build-model-states-explored 1343975 11521
build-model-states-explored 1355555 11580
build-model-states-explored 1367208 11653
build-model-states-explored 1378646 11438
build-model-states-explored 1390133 11487
build-model-states-explored 1401571 11438
build-model-states-explored 1413059 11488
build-model-states-explored 1424544 11485
build-model-states-explored 1435525 10981
build-model-states-explored 1447076 11551
build-model-states-explored 1458576 11500
build-model-states-explored 1470051 11475
build-model-states-explored 1481449 11398
build-model-states-explored 1492921 11472
build-model-states-explored 1501066 8145
build-model-states-explored 1511568 10502
build-model-states-explored 1511568 0
build-model-states-explored 1512413 845
build-model-states-explored 1523879 11466
build-model-states-explored 1535366 11486
build-model-states-explored 1546860 11495
build-model-states-explored 1558361 11501
build-model-states-explored 1569799 11438
build-model-states-explored 1581281 11482
build-model-states-explored 1592769 11488
build-model-states-explored 1604276 11507
build-model-states-explored 1615770 11494
build-model-states-explored 1627266 11496
build-model-states-explored 1638770 11504
build-model-states-explored 1650026 11256
build-model-states-explored 1661378 11352
build-model-states-explored 1673072 11693
build-model-states-explored 1684974 11902
build-model-states-explored 1696802 11829
build-model-states-explored 1708612 11810
build-model-states-explored 1720437 11825
build-model-states-explored 1732360 11923
build-model-states-explored 1744158 11798
build-model-states-explored 1756047 11889
build-model-states-explored 1767899 11852
build-model-states-explored 1779782 11883
build-model-states-explored 1791663 11881
build-model-states-explored 1803567 11904
build-model-states-explored 1815530 11963
build-model-states-explored 1827394 11864
build-model-states-explored 1839150 11756
build-model-states-explored 1850981 11831
build-model-states-explored 1862847 11866
build-model-states-explored 1874571 11724
build-model-states-explored 1886309 11738
build-model-states-explored 1898109 11800
build-model-states-explored 1909949 11840
build-model-states-explored 1921628 11679
build-model-states-explored 1933456 11828
build-model-states-explored 1945351 11895
build-model-states-explored 1957129 11778
build-model-states-explored 1969008 11878
build-model-states-explored 1980800 11792
build-model-states-explored 1992666 11866
build-model-states-explored 2004352 11686
build-model-states-explored 2016029 11677
build-model-states-explored 2027777 11748
build-model-states-explored 2039393 11616
build-model-states-explored 2051014 11621
build-model-states-explored 2062568 11554
build-model-states-explored 2074344 11776
build-model-states-explored 2086080 11736
build-model-states-explored 2097693 11613
build-model-states-explored 2109393 11700
build-model-states-explored 2121167 11774
build-model-states-explored 2132846 11679
build-model-states-explored 2144608 11761
build-model-states-explored 2156350 11742
build-model-states-explored 2168166 11816
build-model-states-explored 2180095 11929
build-model-states-explored 2191973 11878
build-model-states-explored 2203574 11601
build-model-states-explored 2215179 11605
build-model-states-explored 2226793 11613
build-model-states-explored 2238541 11749
build-model-states-explored 2250094 11553
build-model-states-explored 2261744 11650
build-model-states-explored 2273381 11637
build-model-states-explored 2285058 11677
build-model-states-explored 2296842 11783
build-model-states-explored 2308440 11599
build-model-states-explored 2320170 11730
build-model-states-explored 2331755 11585
build-model-states-explored 2343427 11672
build-model-states-explored 2355179 11752
build-model-states-explored 2366881 11702
build-model-states-explored 2378559 11678
build-model-states-explored 2390298 11739
build-model-states-explored 2402050 11752
build-model-states-explored 2413881 11831
build-model-states-explored 2425435 11554
build-model-states-explored 2437048 11613
build-model-states-explored 2448631 11583
build-model-states-explored 2460129 11498
build-model-states-explored 2471540 11411
build-model-states-explored 2482907 11367
build-model-states-explored 2494306 11399
build-model-states-explored 2505732 11426
build-model-states-explored 2517154 11422
build-model-states-explored 2528579 11425
build-model-states-explored 2540032 11453
build-model-states-explored 2551344 11312
build-model-states-explored 2562783 11439
build-model-states-explored 2574227 11443
build-model-states-explored 2585680 11454
build-model-states-explored 2597222 11542
build-model-states-explored 2608758 11536
build-model-states-explored 2620126 11368
build-model-states-explored 2631615 11489
build-model-states-explored 2642960 11345
build-model-states-explored 2654400 11440
build-model-states-explored 2665931 11531
build-model-states-explored 2677388 11457
build-model-states-explored 2688810 11422
build-model-states-explored 2700318 11508
build-model-states-explored 2711822 11504
build-model-states-explored 2723409 11587
build-model-states-explored 2734744 11335
build-model-states-explored 2746154 11410
build-model-states-explored 2757567 11413
build-model-states-explored 2768945 11378
build-model-states-explored 2780357 11412
build-model-states-explored 2791770 11412
build-model-states-explored 2803221 11451
build-model-states-explored 2814790 11569
build-model-states-explored 2826180 11390
build-model-states-explored 2837609 11429
build-model-states-explored 2849087 11478
build-model-states-explored 2860553 11466
build-model-states-explored 2872100 11547
build-model-states-explored 2883553 11453
build-model-states-explored 2894975 11422
build-model-states-explored 2906281 11306
build-model-states-explored 2917814 11533
build-model-states-explored 2929258 11444
build-model-states-explored 2940764 11506
build-model-states-explored 2952235 11471
build-model-states-explored 2963750 11515
build-model-states-explored 2975281 11531
build-model-states-explored 2985865 10584
build-model-states-explored 2991055 5190
build-model-states-explored 3002157 11102
build-model-states-explored 3013535 11378
build-model-states-explored 3014042 507
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3024574 10532
build-model-states-explored 3035946 11372
build-model-states-explored 3047212 11266
build-model-states-explored 3058408 11196
build-model-states-explored 3069630 11222
build-model-states-explored 3080882 11252
build-model-states-explored 3092135 11253
build-model-states-explored 3103309 11174
build-model-states-explored 3114576 11267
build-model-states-explored 3125744 11168
build-model-states-explored 3137561 11817
build-model-states-explored 3149391 11830
build-model-states-explored 3161205 11814
build-model-states-explored 3173103 11898
build-model-states-explored 3184822 11719
build-model-states-explored 3196550 11728
build-model-states-explored 3208290 11740
build-model-states-explored 3220061 11771
build-model-states-explored 3231464 11403
build-model-states-explored 3243153 11689
build-model-states-explored 3254890 11737
build-model-states-explored 3266657 11767
build-model-states-explored 3278350 11693
build-model-states-explored 3290116 11766
build-model-states-explored 3301904 11788
build-model-states-explored 3313629 11725
build-model-states-explored 3325423 11794
build-model-states-explored 3337157 11734
build-model-states-explored 3348937 11780
build-model-states-explored 3360725 11788
build-model-states-explored 3372523 11798
build-model-states-explored 3384373 11850
build-model-states-explored 3396075 11702
build-model-states-explored 3407819 11744
build-model-states-explored 3419515 11696
build-model-states-explored 3431270 11755
build-model-states-explored 3442993 11723
build-model-states-explored 3454758 11765
build-model-states-explored 3466555 11797
build-model-states-explored 3478336 11781
build-model-states-explored 3490072 11736
build-model-states-explored 3501827 11755
build-model-states-explored 3513605 11778
build-model-states-explored 3525545 11940
build-model-states-explored 3537510 11965
build-model-states-explored 3549212 11702
build-model-states-explored 3561038 11826
build-model-states-explored 3572777 11739
build-model-states-explored 3584588 11811
build-model-states-explored 3596468 11880
build-model-states-explored 3608307 11839
build-model-states-explored 3620114 11807
build-model-states-explored 3631982 11868
build-model-states-explored 3643877 11895
build-model-states-explored 3655805 11928
build-model-states-explored 3667568 11763
build-model-states-explored 3679383 11815
build-model-states-explored 3691164 11781
build-model-states-explored 3703007 11843
build-model-states-explored 3714813 11806
build-model-states-explored 3726537 11724
build-model-states-explored 3738230 11693
build-model-states-explored 3749940 11710
build-model-states-explored 3761581 11641
build-model-states-explored 3773175 11594
build-model-states-explored 3784871 11696
build-model-states-explored 3796565 11694
build-model-states-explored 3808286 11721
build-model-states-explored 3819928 11642
build-model-states-explored 3831569 11641
build-model-states-explored 3843291 11722
build-model-states-explored 3854986 11695
build-model-states-explored 3866619 11633
build-model-states-explored 3878123 11504
build-model-states-explored 3889832 11709
build-model-states-explored 3901687 11855
build-model-states-explored 3913586 11899
build-model-states-explored 3925322 11736
build-model-states-explored 3936758 11436
build-model-states-explored 3948409 11651
build-model-states-explored 3959896 11487
build-model-states-explored 3971544 11648
build-model-states-explored 3983075 11531
build-model-states-explored 3994717 11642
build-model-states-explored 4006528 11811
build-model-states-explored 4018165 11637
build-model-states-explored 4029827 11662
build-model-states-explored 4041459 11632
build-model-states-explored 4053140 11681
build-model-states-explored 4064871 11731
build-model-states-explored 4076581 11710
build-model-states-explored 4088311 11730
build-model-states-explored 4100032 11721
build-model-states-explored 4111723 11691
build-model-states-explored 4123457 11734
build-model-states-explored 4135216 11759
build-model-states-explored 4147063 11847
build-model-states-explored 4158803 11740
build-model-states-explored 4170505 11702
build-model-states-explored 4182230 11725
build-model-states-explored 4193964 11734
build-model-states-explored 4205473 11509
build-model-states-explored 4217218 11745
build-model-states-explored 4228909 11691
build-model-states-explored 4240615 11706
build-model-states-explored 4252394 11779
build-model-states-explored 4264112 11718
build-model-states-explored 4275882 11770
build-model-states-explored 4287631 11749
build-model-states-explored 4299405 11774
build-model-states-explored 4311184 11779
build-model-states-explored 4323007 11823
build-model-states-explored 4334664 11657
build-model-states-explored 4346332 11668
build-model-states-explored 4358023 11691
build-model-states-explored 4369681 11658
build-model-states-explored 4381332 11651
build-model-states-explored 4393020 11688
build-model-states-explored 4404705 11685
build-model-states-explored 4416513 11808
build-model-states-explored 4428197 11684
build-model-states-explored 4439930 11733
build-model-states-explored 4451684 11754
build-model-states-explored 4463449 11765
build-model-states-explored 4475199 11750
build-model-states-explored 4486997 11798
build-model-states-explored 4498693 11696
build-model-states-explored 4510381 11688
build-model-states-explored 4521947 11566
build-model-states-explored 4533693 11746
build-model-states-explored 4545460 11767
build-model-states-explored 4557238 11778
build-model-states-explored 4569061 11823
build-model-states-explored 4580982 11921
build-model-states-explored 4592875 11893
build-model-states-explored 4604824 11949
build-model-states-explored 4616698 11874
build-model-states-explored 4628345 11647
build-model-states-explored 4639978 11633
build-model-states-explored 4651577 11599
build-model-states-explored 4663156 11579
build-model-states-explored 4674673 11517
build-model-states-explored 4686221 11548
build-model-states-explored 4697886 11665
build-model-states-explored 4709542 11656
build-model-states-explored 4721210 11668
build-model-states-explored 4732975 11765
build-model-states-explored 4744756 11781
build-model-states-explored 4756257 11501
build-model-states-explored 4767909 11652
build-model-states-explored 4779452 11543
build-model-states-explored 4791046 11594
build-model-states-explored 4802753 11707
build-model-states-explored 4814380 11627
build-model-states-explored 4825992 11612
build-model-states-explored 4837675 11683
build-model-states-explored 4849345 11670
build-model-states-explored 4861157 11812
build-model-states-explored 4872860 11703
build-model-states-explored 4884280 11420
build-model-states-explored 4895655 11375
build-model-states-explored 4907195 11540
build-model-states-explored 4918732 11537
build-model-states-explored 4930267 11535
build-model-states-explored 4941913 11646
build-model-states-explored 4953348 11435
build-model-states-explored 4964823 11475
build-model-states-explored 4976366 11543
build-model-states-explored 4987915 11549
build-model-states-explored 4999515 11600
build-model-states-explored 5011137 11622
build-model-states-explored 5022616 11479
build-model-states-explored 5034174 11558
build-model-states-explored 5045794 11620
build-model-states-explored 5057283 11489
build-model-states-explored 5068783 11500
build-model-states-explored 5080422 11639
build-model-states-explored 5092003 11581
build-model-states-explored 5103583 11580
build-model-states-explored 5115229 11646
build-model-states-explored 5126902 11673
build-model-states-explored 5138571 11669
build-model-states-explored 5149979 11408
build-model-states-explored 5161414 11435
build-model-states-explored 5172844 11430
build-model-states-explored 5184293 11449
build-model-states-explored 5195865 11572
build-model-states-explored 5207283 11418
build-model-states-explored 5218764 11481
build-model-states-explored 5230287 11523
build-model-states-explored 5241803 11516
build-model-states-explored 5253371 11568
build-model-states-explored 5264809 11438
build-model-states-explored 5276231 11422
build-model-states-explored 5287696 11465
build-model-states-explored 5299091 11395
build-model-states-explored 5310511 11420
build-model-states-explored 5321975 11464
build-model-states-explored 5333438 11463
build-model-states-explored 5344975 11537
build-model-states-explored 5356458 11483
build-model-states-explored 5367884 11426
build-model-states-explored 5379355 11471
build-model-states-explored 5390807 11452
build-model-states-explored 5402352 11545
build-model-states-explored 5413845 11493
build-model-states-explored 5425292 11447
build-model-states-explored 5436741 11449
build-model-states-explored 5448258 11517
build-model-states-explored 5459722 11464
build-model-states-explored 5471231 11509
build-model-states-explored 5482750 11519
build-model-states-explored 5494274 11524
build-model-states-explored 5505813 11539
build-model-states-explored 5517351 11538
build-model-states-explored 5529061 11710
build-model-states-explored 5540623 11562
build-model-states-explored 5552017 11394
build-model-states-explored 5563495 11478
build-model-states-explored 5574987 11492
build-model-states-explored 5586489 11502
build-model-states-explored 5598055 11566
build-model-states-explored 5609594 11539
build-model-states-explored 5621057 11463
build-model-states-explored 5632489 11432
build-model-states-explored 5644001 11512
build-model-states-explored 5655503 11502
build-model-states-explored 5667137 11634
build-model-states-explored 5678652 11515
build-model-states-explored 5690152 11500
build-model-states-explored 5701671 11519
build-model-states-explored 5713231 11560
build-model-states-explored 5724724 11493
build-model-states-explored 5736276 11552
build-model-states-explored 5747853 11577
build-model-states-explored 5759461 11608
build-model-states-explored 5771011 11550
build-model-states-explored 5782643 11632
build-model-states-explored 5794289 11646
build-model-states-explored 5805764 11475
build-model-states-explored 5817186 11422
build-model-states-explored 5828624 11438
build-model-states-explored 5840047 11423
build-model-states-explored 5851543 11496
build-model-states-explored 5863059 11516
build-model-states-explored 5874503 11444
build-model-states-explored 5885940 11437
build-model-states-explored 5897434 11494
build-model-states-explored 5908924 11490
build-model-states-explored 5920422 11498
build-model-states-explored 5931942 11520
build-model-states-explored 5943444 11502
build-model-states-explored 5954973 11529
build-model-states-explored 5958915 3942
build-model-states-explored 5966186 7271
build-model-states-explored 5977830 11644
build-model-states-explored 5989269 11439
build-model-states-explored 6000758 11489
build-model-states-explored 6012301 11543
build-model-states-explored 6012342 41
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6019451 7109
build-model-states-explored 6030879 11428
build-model-states-explored 6042361 11482
build-model-states-explored 6053923 11562
build-model-states-explored 6065308 11385
build-model-states-explored 6076688 11380
build-model-states-explored 6088127 11439
build-model-states-explored 6099607 11480
build-model-states-explored 6110959 11352
build-model-states-explored 6122276 11317
build-model-states-explored 6133608 11332
build-model-states-explored 6144879 11271
build-model-states-explored 6153598 8719
build-model-states-explored 6164404 10806
build-model-states-explored 6175867 11463
build-model-states-explored 6187271 11404
build-model-states-explored 6198746 11475
build-model-states-explored 6210153 11407
build-model-states-explored 6221621 11468
build-model-states-explored 6233166 11545
build-model-states-explored 6244559 11393
build-model-states-explored 6255982 11423
build-model-states-explored 6267468 11486
build-model-states-explored 6278961 11493
build-model-states-explored 6290470 11509
build-model-states-explored 6302024 11554
build-model-states-explored 6313579 11555
build-model-states-explored 6324842 11263
build-model-states-explored 6336131 11289
build-model-states-explored 6347450 11319
build-model-states-explored 6359013 11563
build-model-states-explored 6370872 11859
build-model-states-explored 6382559 11687
build-model-states-explored 6394314 11755
build-model-states-explored 6406100 11786
build-model-states-explored 6417899 11799
build-model-states-explored 6429769 11870
build-model-states-explored 6441485 11716
build-model-states-explored 6453229 11744
build-model-states-explored 6464971 11742
build-model-states-explored 6476697 11726
build-model-states-explored 6488449 11752
build-model-states-explored 6500210 11761
build-model-states-explored 6512002 11792
build-model-states-explored 6523815 11813
build-model-states-explored 6535516 11701
build-model-states-explored 6547278 11762
build-model-states-explored 6559044 11766
build-model-states-explored 6570771 11727
build-model-states-explored 6582524 11753
build-model-states-explored 6594258 11734
build-model-states-explored 6606019 11761
build-model-states-explored 6617808 11789
build-model-states-explored 6629619 11811
build-model-states-explored 6641428 11809
build-model-states-explored 6653264 11836
build-model-states-explored 6665037 11773
build-model-states-explored 6676868 11831
build-model-states-explored 6688729 11861
build-model-states-explored 6700570 11841
build-model-states-explored 6712254 11684
build-model-states-explored 6723978 11724
build-model-states-explored 6735637 11659
build-model-states-explored 6747355 11718
build-model-states-explored 6759050 11695
build-model-states-explored 6770700 11650
build-model-states-explored 6782473 11773
build-model-states-explored 6794167 11694
build-model-states-explored 6805850 11683
build-model-states-explored 6817153 11303
build-model-states-explored 6828824 11671
build-model-states-explored 6840526 11702
build-model-states-explored 6852236 11710
build-model-states-explored 6863963 11727
build-model-states-explored 6875648 11685
build-model-states-explored 6887235 11587
build-model-states-explored 6898963 11728
build-model-states-explored 6910693 11730
build-model-states-explored 6922449 11756
build-model-states-explored 6934232 11783
build-model-states-explored 6945935 11703
build-model-states-explored 6957616 11681
build-model-states-explored 6969376 11760
build-model-states-explored 6981125 11749
build-model-states-explored 6992898 11773
build-model-states-explored 7004592 11694
build-model-states-explored 7016235 11643
build-model-states-explored 7027987 11752
build-model-states-explored 7039707 11720
build-model-states-explored 7051458 11751
build-model-states-explored 7063240 11782
build-model-states-explored 7075015 11775
build-model-states-explored 7086779 11764
build-model-states-explored 7098602 11823
build-model-states-explored 7110326 11724
build-model-states-explored 7122026 11700
build-model-states-explored 7133763 11737
build-model-states-explored 7145469 11706
build-model-states-explored 7157127 11658
build-model-states-explored 7168851 11724
build-model-states-explored 7180578 11727
build-model-states-explored 7192379 11801
build-model-states-explored 7204051 11672
build-model-states-explored 7215813 11762
build-model-states-explored 7227541 11728
build-model-states-explored 7239297 11756
build-model-states-explored 7250994 11697
build-model-states-explored 7262631 11637
build-model-states-explored 7274313 11682
build-model-states-explored 7285982 11669
build-model-states-explored 7297704 11722
build-model-states-explored 7309430 11726
build-model-states-explored 7320910 11480
build-model-states-explored 7332547 11637
build-model-states-explored 7344319 11772
build-model-states-explored 7356248 11929
build-model-states-explored 7367978 11730
build-model-states-explored 7379580 11602
build-model-states-explored 7391276 11696
build-model-states-explored 7403060 11784
build-model-states-explored 7414807 11747
build-model-states-explored 7426611 11804
build-model-states-explored 7438494 11883
build-model-states-explored 7450167 11673
build-model-states-explored 7461897 11730
build-model-states-explored 7473675 11778
build-model-states-explored 7485436 11761
build-model-states-explored 7497314 11878
build-model-states-explored 7509143 11829
build-model-states-explored 7520886 11743
build-model-states-explored 7532694 11808
build-model-states-explored 7544468 11774
build-model-states-explored 7556263 11795
build-model-states-explored 7568097 11834
build-model-states-explored 7579944 11847
build-model-states-explored 7591774 11830
build-model-states-explored 7603620 11846
build-model-states-explored 7615512 11892
build-model-states-explored 7627480 11968
build-model-states-explored 7639256 11776
build-model-states-explored 7650965 11709
build-model-states-explored 7662791 11826
build-model-states-explored 7674537 11746
build-model-states-explored 7686370 11833
build-model-states-explored 7698132 11762
build-model-states-explored 7709873 11741
build-model-states-explored 7721649 11776
build-model-states-explored 7733507 11858
build-model-states-explored 7745242 11735
build-model-states-explored 7757045 11803
build-model-states-explored 7768836 11791
build-model-states-explored 7780668 11832
build-model-states-explored 7792501 11833
build-model-states-explored 7804435 11934
build-model-states-explored 7816281 11846
build-model-states-explored 7828006 11725
build-model-states-explored 7839802 11796
build-model-states-explored 7851625 11823
build-model-states-explored 7863271 11646
build-model-states-explored 7874943 11672
build-model-states-explored 7886642 11699
build-model-states-explored 7898295 11653
build-model-states-explored 7909961 11666
build-model-states-explored 7921707 11746
build-model-states-explored 7933482 11775
build-model-states-explored 7945108 11626
build-model-states-explored 7956729 11621
build-model-states-explored 7968362 11633
build-model-states-explored 7980014 11652
build-model-states-explored 7991665 11651
build-model-states-explored 8003363 11698
build-model-states-explored 8015107 11744
build-model-states-explored 8026751 11644
build-model-states-explored 8038414 11663
build-model-states-explored 8050132 11718
build-model-states-explored 8061881 11749
build-model-states-explored 8073581 11700
build-model-states-explored 8085254 11673
build-model-states-explored 8096995 11741
build-model-states-explored 8108714 11719
build-model-states-explored 8120471 11757
build-model-states-explored 8132277 11806
build-model-states-explored 8143973 11696
build-model-states-explored 8155494 11521
build-model-states-explored 8167029 11535
build-model-states-explored 8178615 11586
build-model-states-explored 8190225 11610
build-model-states-explored 8201900 11675
build-model-states-explored 8213417 11517
build-model-states-explored 8225051 11634
build-model-states-explored 8236888 11837
build-model-states-explored 8248726 11838
build-model-states-explored 8260561 11835
build-model-states-explored 8272457 11896
build-model-states-explored 8284279 11822
build-model-states-explored 8296181 11902
build-model-states-explored 8308107 11926
build-model-states-explored 8319914 11807
build-model-states-explored 8331681 11767
build-model-states-explored 8343475 11794
build-model-states-explored 8355286 11811
build-model-states-explored 8367013 11727
build-model-states-explored 8378805 11792
build-model-states-explored 8390070 11265
build-model-states-explored 8401936 11866
build-model-states-explored 8413734 11798
build-model-states-explored 8425560 11826
build-model-states-explored 8437422 11862
build-model-states-explored 8449308 11886
build-model-states-explored 8461141 11833
build-model-states-explored 8473058 11917
build-model-states-explored 8484842 11784
build-model-states-explored 8496621 11779
build-model-states-explored 8508448 11827
build-model-states-explored 8520310 11862
build-model-states-explored 8532177 11867
build-model-states-explored 8544032 11855
build-model-states-explored 8555999 11967
build-model-states-explored 8568026 12027
build-model-states-explored 8579780 11754
build-model-states-explored 8591582 11802
build-model-states-explored 8603416 11834
build-model-states-explored 8615229 11813
build-model-states-explored 8627043 11814
build-model-states-explored 8638967 11924
build-model-states-explored 8650769 11802
build-model-states-explored 8662611 11842
build-model-states-explored 8674500 11889
build-model-states-explored 8686452 11952
build-model-states-explored 8698333 11881
build-model-states-explored 8710127 11794
build-model-states-explored 8721969 11842
build-model-states-explored 8733739 11770
build-model-states-explored 8745572 11833
build-model-states-explored 8757455 11883
build-model-states-explored 8769405 11950
build-model-states-explored 8781187 11782
build-model-states-explored 8793044 11857
build-model-states-explored 8804929 11885
build-model-states-explored 8816819 11890
build-model-states-explored 8828693 11874
build-model-states-explored 8840553 11860
build-model-states-explored 8852482 11929
build-model-states-explored 8864333 11851
build-model-states-explored 8876251 11918
build-model-states-explored 8888196 11945
build-model-states-explored 8900114 11918
build-model-states-explored 8911940 11826
build-model-states-explored 8923771 11831
build-model-states-explored 8935566 11795
build-model-states-explored 8947434 11868
build-model-states-explored 8959233 11799
build-model-states-explored 8971064 11831
build-model-states-explored 8982846 11782
build-model-states-explored 8994615 11769
build-model-states-explored 9006432 11817
build-model-states-explored 9018303 11871
build-model-states-explored 9030128 11825
build-model-states-explored 9041994 11866
build-model-states-explored 9053994 12000
build-model-states-explored 9065741 11747
build-model-states-explored 9077524 11783
build-model-states-explored 9089397 11873
build-model-states-explored 9101223 11826
build-model-states-explored 9113085 11862
build-model-states-explored 9124884 11799
build-model-states-explored 9136741 11857
build-model-states-explored 9148529 11788
build-model-states-explored 9160399 11870
build-model-states-explored 9172274 11875
build-model-states-explored 9184127 11853
build-model-states-explored 9195915 11788
build-model-states-explored 9207714 11799
build-model-states-explored 9219509 11795
build-model-states-explored 9231409 11900
build-model-states-explored 9243240 11831
build-model-states-explored 9255093 11853
build-model-states-explored 9266937 11844
build-model-states-explored 9278826 11889
build-model-states-explored 9290663 11837
build-model-states-explored 9302535 11872
build-model-states-explored 9314455 11920
build-model-states-explored 9326406 11951
build-model-states-explored 9338461 12055
build-model-states-explored 9350415 11954
build-model-states-explored 9362335 11920
build-model-states-explored 9374415 12080
build-model-states-explored 9386468 12053
build-model-states-explored 9398476 12008
build-model-states-explored 9410453 11977
build-model-states-explored 9422182 11729
build-model-states-explored 9433810 11628
build-model-states-explored 9445445 11635
build-model-states-explored 9457178 11733
build-model-states-explored 9469037 11859
build-model-states-explored 9480678 11641
build-model-states-explored 9492355 11677
build-model-states-explored 9504129 11774
build-model-states-explored 9515882 11753
build-model-states-explored 9527665 11783
build-model-states-explored 9539604 11939
build-model-states-explored 9551537 11933
build-model-states-explored 9563194 11657
build-model-states-explored 9574876 11682
build-model-states-explored 9586688 11812
build-model-states-explored 9598390 11702
build-model-states-explored 9610201 11811
build-model-states-explored 9622135 11934
build-model-states-explored 9633961 11826
build-model-states-explored 9645761 11800
build-model-states-explored 9657554 11793
build-model-states-explored 9669473 11919
build-model-states-explored 9681297 11824
build-model-states-explored 9693230 11933
build-model-states-explored 9705176 11946
build-model-states-explored 9717182 12006
build-model-states-explored 9728833 11651
build-model-states-explored 9740496 11663
build-model-states-explored 9752286 11790
build-model-states-explored 9763974 11688
build-model-states-explored 9775757 11783
build-model-states-explored 9787647 11890
build-model-states-explored 9799326 11679
build-model-states-explored 9811057 11731
build-model-states-explored 9822859 11802
build-model-states-explored 9834652 11793
build-model-states-explored 9846500 11848
build-model-states-explored 9858395 11895
build-model-states-explored 9870092 11697
build-model-states-explored 9881871 11779
build-model-states-explored 9893718 11847
build-model-states-explored 9905443 11725
build-model-states-explored 9917262 11819
build-model-states-explored 9929129 11867
build-model-states-explored 9940955 11826
build-model-states-explored 9952781 11826
build-model-states-explored 9964676 11895
build-model-states-explored 9976611 11935
build-model-states-explored 9988682 12071
build-model-states-explored 10000673 11991
build-model-states-explored 10012363 11690
build-model-states-explored 10024054 11691
build-model-states-explored 10035875 11821
build-model-states-explored 10047555 11680
build-model-states-explored 10059325 11770
build-model-states-explored 10071168 11843
build-model-states-explored 10083084 11916
build-model-states-explored 10094586 11502
build-model-states-explored 10106206 11620
build-model-states-explored 10117877 11671
build-model-states-explored 10129583 11706
build-model-states-explored 10141249 11666
build-model-states-explored 10153004 11755
build-model-states-explored 10164861 11857
build-model-states-explored 10176420 11559
build-model-states-explored 10188002 11582
build-model-states-explored 10199581 11579
build-model-states-explored 10211187 11606
build-model-states-explored 10222821 11634
build-model-states-explored 10234552 11731
build-model-states-explored 10246170 11618
build-model-states-explored 10257826 11656
build-model-states-explored 10269540 11714
build-model-states-explored 10281222 11682
build-model-states-explored 10293073 11851
build-model-states-explored 10304885 11812
build-model-states-explored 10316391 11506
build-model-states-explored 10327987 11596
build-model-states-explored 10339606 11619
build-model-states-explored 10351347 11741
build-model-states-explored 10363007 11660
build-model-states-explored 10374710 11703
build-model-states-explored 10386545 11835
build-model-states-explored 10398147 11602
build-model-states-explored 10409785 11638
build-model-states-explored 10421514 11729
build-model-states-explored 10433206 11692
build-model-states-explored 10445034 11828
build-model-states-explored 10456217 11183
build-model-states-explored 10467875 11658
build-model-states-explored 10479606 11731
build-model-states-explored 10491342 11736
build-model-states-explored 10503072 11730
build-model-states-explored 10515004 11932
build-model-states-explored 10527047 12043
build-model-states-explored 10539112 12065
build-model-states-explored 10551212 12100
build-model-states-explored 10563195 11983
build-model-states-explored 10574904 11709
build-model-states-explored 10586666 11762
build-model-states-explored 10598512 11846
build-model-states-explored 10610364 11852
build-model-states-explored 10622214 11850
build-model-states-explored 10634111 11897
build-model-states-explored 10645933 11822
build-model-states-explored 10657685 11752
build-model-states-explored 10669533 11848
build-model-states-explored 10681391 11858
build-model-states-explored 10693387 11996
build-model-states-explored 10705194 11807
build-model-states-explored 10717026 11832
build-model-states-explored 10728895 11869
build-model-states-explored 10740748 11853
build-model-states-explored 10752610 11862
build-model-states-explored 10764562 11952
build-model-states-explored 10776434 11872
build-model-states-explored 10788208 11774
build-model-states-explored 10800091 11883
build-model-states-explored 10812022 11931
build-model-states-explored 10824030 12008
build-model-states-explored 10835771 11741
build-model-states-explored 10847557 11786
build-model-states-explored 10859222 11665
build-model-states-explored 10870897 11675
build-model-states-explored 10882679 11782
build-model-states-explored 10894271 11592
build-model-states-explored 10905837 11566
build-model-states-explored 10917575 11738
build-model-states-explored 10929440 11865
build-model-states-explored 10941268 11828
build-model-states-explored 10953152 11884
build-model-states-explored 10964961 11809
build-model-states-explored 10976827 11866
build-model-states-explored 10988708 11881
build-model-states-explored 11000707 11999
build-model-states-explored 11012504 11797
build-model-states-explored 11024280 11776
build-model-states-explored 11036143 11863
build-model-states-explored 11047992 11849
build-model-states-explored 11059836 11844
build-model-states-explored 11071773 11937
build-model-states-explored 11083613 11840
build-model-states-explored 11095466 11853
build-model-states-explored 11107400 11934
build-model-states-explored 11119303 11903
build-model-states-explored 11131197 11894
build-model-states-explored 11142966 11769
build-model-states-explored 11154807 11841
build-model-states-explored 11166590 11783
build-model-states-explored 11178404 11814
build-model-states-explored 11190256 11852
build-model-states-explored 11202189 11933
build-model-states-explored 11214008 11819
build-model-states-explored 11225848 11840
build-model-states-explored 11237757 11909
build-model-states-explored 11249672 11915
build-model-states-explored 11261571 11899
build-model-states-explored 11273423 11852
build-model-states-explored 11285356 11933
build-model-states-explored 11297224 11868
build-model-states-explored 11309164 11940
build-model-states-explored 11321109 11945
build-model-states-explored 11333200 12091
build-model-states-explored 11345312 12112
build-model-states-explored 11357334 12022
build-model-states-explored 11369020 11686
build-model-states-explored 11380826 11806
build-model-states-explored 11392736 11910
build-model-states-explored 11404469 11733
build-model-states-explored 11416309 11840
build-model-states-explored 11428279 11970
build-model-states-explored 11440209 11930
build-model-states-explored 11452032 11823
build-model-states-explored 11463888 11856
build-model-states-explored 11475859 11971
build-model-states-explored 11487751 11892
build-model-states-explored 11499715 11964
build-model-states-explored 11511687 11972
build-model-states-explored 11523699 12012
build-model-states-explored 11535426 11727
build-model-states-explored 11547254 11828
build-model-states-explored 11559163 11909
build-model-states-explored 11570952 11789
build-model-states-explored 11582822 11870
build-model-states-explored 11594749 11927
build-model-states-explored 11606607 11858
build-model-states-explored 11618480 11873
build-model-states-explored 11630407 11927
build-model-states-explored 11642385 11978
build-model-states-explored 11654492 12107
build-model-states-explored 11666327 11835
build-model-states-explored 11678184 11857
build-model-states-explored 11690008 11824
build-model-states-explored 11702018 12010
build-model-states-explored 11713868 11850
build-model-states-explored 11725824 11956
build-model-states-explored 11737852 12028
build-model-states-explored 11749695 11843
build-model-states-explored 11761609 11914
build-model-states-explored 11773525 11916
build-model-states-explored 11785425 11900
build-model-states-explored 11797417 11992
build-model-states-explored 11809337 11920
build-model-states-explored 11821239 11902
build-model-states-explored 11833208 11969
build-model-states-explored 11845154 11946
build-model-states-explored 11857091 11937
build-model-states-explored 11869091 12000
build-model-states-explored 11869464 373
build-model-states-explored 11869464 0
build-model-states-explored 11877958 8494
build-model-states-explored 11890048 12090
build-model-states-explored 11902169 12121
build-model-states-explored 11914050 11881
build-model-states-explored 11925929 11879
build-model-states-explored 11937794 11865
build-model-states-explored 11949700 11906
build-model-states-explored 11961582 11882
build-model-states-explored 11973522 11940
build-model-states-explored 11985412 11890
build-model-states-explored 11992801 7389
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11992801 0
build-model-states-explored 11997683 4882
build-model-states-explored 12009639 11956
build-model-states-explored 12021577 11938
build-model-states-explored 12033604 12027
build-model-states-explored 12045418 11814
build-model-states-explored 12057327 11909
build-model-states-explored 12069178 11851
build-model-states-explored 12081027 11849
build-model-states-explored 12092938 11911
build-model-states-explored 12104947 12009
build-model-states-explored 12116834 11887
build-model-states-explored 12128760 11926
build-model-states-explored 12140736 11976
build-model-states-explored 12152675 11939
build-model-states-explored 12164637 11962
build-model-states-explored 12176553 11916
build-model-states-explored 12188520 11967
build-model-states-explored 12200438 11918
build-model-states-explored 12212428 11990
build-model-states-explored 12224424 11996
build-model-states-explored 12236556 12132
build-model-states-explored 12248652 12096
build-model-states-explored 12260461 11809
build-model-states-explored 12272338 11877
build-model-states-explored 12284260 11922
build-model-states-explored 12296245 11985
build-model-states-explored 12308191 11946
build-model-states-explored 12320229 12038
build-model-states-explored 12332294 12065
build-model-states-explored 12344130 11836
build-model-states-explored 12356073 11943
build-model-states-explored 12368033 11960
build-model-states-explored 12380011 11978
build-model-states-explored 12392133 12122
build-model-states-explored 12404020 11887
build-model-states-explored 12416011 11991
build-model-states-explored 12428075 12064
build-model-states-explored 12440015 11940
build-model-states-explored 12452070 12055
build-model-states-explored 12464105 12035
build-model-states-explored 12476175 12070
build-model-states-explored 12488293 12118
build-model-states-explored 12500176 11883
build-model-states-explored 12512071 11895
build-model-states-explored 12524010 11939
build-model-states-explored 12535932 11922
build-model-states-explored 12547905 11973
build-model-states-explored 12559801 11896
build-model-states-explored 12571755 11954
build-model-states-explored 12583676 11921
build-model-states-explored 12595659 11983
build-model-states-explored 12607639 11980
build-model-states-explored 12619738 12099
build-model-states-explored 12631671 11933
build-model-states-explored 12643629 11958
build-model-states-explored 12655626 11997
build-model-states-explored 12667606 11980
build-model-states-explored 12679570 11964
build-model-states-explored 12691589 12019
build-model-states-explored 12703616 12027
build-model-states-explored 12715690 12074
build-model-states-explored 12727660 11970
build-model-states-explored 12739640 11980
build-model-states-explored 12751599 11959
build-model-states-explored 12763648 12049
build-model-states-explored 12775642 11994
build-model-states-explored 12787673 12031
build-model-states-explored 12799760 12087
build-model-states-explored 12811776 12016
build-model-states-explored 12819228 7452
build-model-states-explored 12831405 12177
build-model-states-explored 12843584 12179
build-model-states-explored 12855643 12059
build-model-states-explored 12867421 11778
build-model-states-explored 12879293 11872
build-model-states-explored 12891207 11914
build-model-states-explored 12903110 11903
build-model-states-explored 12915067 11957
build-model-states-explored 12926960 11893
build-model-states-explored 12938828 11868
build-model-states-explored 12950739 11911
build-model-states-explored 12962658 11919
build-model-states-explored 12974614 11956
build-model-states-explored 12986722 12108
build-model-states-explored 12998585 11863
build-model-states-explored 13010498 11913
build-model-states-explored 13022422 11924
build-model-states-explored 13034362 11940
build-model-states-explored 13046303 11941
build-model-states-explored 13058373 12070
build-model-states-explored 13070253 11880
build-model-states-explored 13082210 11957
build-model-states-explored 13094223 12013
build-model-states-explored 13106279 12056
build-model-states-explored 13118305 12026
build-model-states-explored 13130160 11855
build-model-states-explored 13142022 11862
build-model-states-explored 13153937 11915
build-model-states-explored 13165875 11938
build-model-states-explored 13177857 11982
build-model-states-explored 13189742 11885
build-model-states-explored 13201620 11878
build-model-states-explored 13213578 11958
build-model-states-explored 13225494 11916
build-model-states-explored 13237424 11930
build-model-states-explored 13249338 11914
build-model-states-explored 13261277 11939
build-model-states-explored 13273232 11955
build-model-states-explored 13285253 12021
build-model-states-explored 13297335 12082
build-model-states-explored 13309118 11783
build-model-states-explored 13320962 11844
build-model-states-explored 13332955 11993
build-model-states-explored 13344801 11846
build-model-states-explored 13356749 11948
build-model-states-explored 13368733 11984
build-model-states-explored 13380661 11928
build-model-states-explored 13392624 11963
build-model-states-explored 13404614 11990
build-model-states-explored 13416665 12051
build-model-states-explored 13428589 11924
build-model-states-explored 13440491 11902
build-model-states-explored 13452426 11935
build-model-states-explored 13464377 11951
build-model-states-explored 13476312 11935
build-model-states-explored 13488292 11980
build-model-states-explored 13500276 11984
build-model-states-explored 13512199 11923
build-model-states-explored 13524149 11950
build-model-states-explored 13536155 12006
build-model-states-explored 13548154 11999
build-model-states-explored 13560091 11937
build-model-states-explored 13572076 11985
build-model-states-explored 13584062 11986
build-model-states-explored 13596092 12030
build-model-states-explored 13608110 12018
build-model-states-explored 13620195 12085
build-model-states-explored 13632057 11862
build-model-states-explored 13643913 11856
build-model-states-explored 13655835 11922
build-model-states-explored 13667703 11868
build-model-states-explored 13679657 11954
build-model-states-explored 13691532 11875
build-model-states-explored 13703378 11846
build-model-states-explored 13715277 11899
build-model-states-explored 13727174 11897
build-model-states-explored 13739050 11876
build-model-states-explored 13750993 11943
build-model-states-explored 13762873 11880
build-model-states-explored 13774809 11936
build-model-states-explored 13786774 11965
build-model-states-explored 13798702 11928
build-model-states-explored 13810548 11846
build-model-states-explored 13822398 11850
build-model-states-explored 13834269 11871
build-model-states-explored 13846064 11795
build-model-states-explored 13857906 11842
build-model-states-explored 13869769 11863
build-model-states-explored 13881641 11872
build-model-states-explored 13893538 11897
build-model-states-explored 13905404 11866
build-model-states-explored 13917292 11888
build-model-states-explored 13929183 11891
build-model-states-explored 13941092 11909
build-model-states-explored 13953023 11931
build-model-states-explored 13964886 11863
build-model-states-explored 13976723 11837
build-model-states-explored 13988608 11885
build-model-states-explored 14000504 11896
build-model-states-explored 14012441 11937
build-model-states-explored 14024318 11877
build-model-states-explored 14036307 11989
build-model-states-explored 14048367 12060
build-model-states-explored 14060147 11780
build-model-states-explored 14072035 11888
build-model-states-explored 14084003 11968
build-model-states-explored 14095829 11826
build-model-states-explored 14107749 11920
build-model-states-explored 14119707 11958
build-model-states-explored 14131614 11907
build-model-states-explored 14143470 11856
build-model-states-explored 14155310 11840
build-model-states-explored 14167331 12021
build-model-states-explored 14179238 11907
build-model-states-explored 14191124 11886
build-model-states-explored 14202967 11843
build-model-states-explored 14214657 11690
build-model-states-explored 14226435 11778
build-model-states-explored 14238258 11823
build-model-states-explored 14250081 11823
build-model-states-explored 14261723 11642
build-model-states-explored 14273506 11783
build-model-states-explored 14285433 11927
build-model-states-explored 14297391 11958
build-model-states-explored 14309296 11905
build-model-states-explored 14321244 11948
build-model-states-explored 14333210 11966
build-model-states-explored 14345200 11990
build-model-states-explored 14357200 12000
build-model-states-explored 14369121 11921
build-model-states-explored 14380935 11814
build-model-states-explored 14392800 11865
build-model-states-explored 14404695 11895
build-model-states-explored 14416605 11910
build-model-states-explored 14428468 11863
build-model-states-explored 14440411 11943
build-model-states-explored 14452188 11777
build-model-states-explored 14464033 11845
build-model-states-explored 14475900 11867
build-model-states-explored 14487787 11887
build-model-states-explored 14499654 11867
build-model-states-explored 14511534 11880
build-model-states-explored 14523513 11979
build-model-states-explored 14535354 11841
build-model-states-explored 14547225 11871
build-model-states-explored 14559158 11933
build-model-states-explored 14571026 11868
build-model-states-explored 14582950 11924
build-model-states-explored 14594826 11876
build-model-states-explored 14606774 11948
build-model-states-explored 14618659 11885
build-model-states-explored 14630619 11960
build-model-states-explored 14642585 11966
build-model-states-explored 14654469 11884
build-model-states-explored 14666363 11894
build-model-states-explored 14678224 11861
build-model-states-explored 14690016 11792
build-model-states-explored 14701889 11873
build-model-states-explored 14713792 11903
build-model-states-explored 14725699 11907
build-model-states-explored 14737661 11962
build-model-states-explored 14749538 11877
build-model-states-explored 14761415 11877
build-model-states-explored 14773503 12088
build-model-states-explored 14785745 12242
build-model-states-explored 14797907 12162
build-model-states-explored 14810119 12212
build-model-states-explored 14822236 12117
build-model-states-explored 14834082 11846
build-model-states-explored 14845938 11856
build-model-states-explored 14857919 11981
build-model-states-explored 14869728 11809
build-model-states-explored 14881646 11918
build-model-states-explored 14893647 12001
build-model-states-explored 14905737 12090
build-model-states-explored 14917608 11871
build-model-states-explored 14929540 11932
build-model-states-explored 14941560 12020
build-model-states-explored 14953554 11994
build-model-states-explored 14965593 12039
build-model-states-explored 14977654 12061
build-model-states-explored 14989772 12118
build-model-states-explored 15001555 11783
build-model-states-explored 15013452 11897
build-model-states-explored 15025462 12010
build-model-states-explored 15037359 11897
build-model-states-explored 15049314 11955
build-model-states-explored 15061344 12030
build-model-states-explored 15073269 11925
build-model-states-explored 15085249 11980
build-model-states-explored 15097267 12018
build-model-states-explored 15109322 12055
build-model-states-explored 15121509 12187
build-model-states-explored 15133449 11940
build-model-states-explored 15145382 11933
build-model-states-explored 15157287 11905
build-model-states-explored 15169345 12058
build-model-states-explored 15181297 11952
build-model-states-explored 15193315 12018
build-model-states-explored 15205406 12091
build-model-states-explored 15217357 11951
build-model-states-explored 15229341 11984
build-model-states-explored 15241339 11998
build-model-states-explored 15253329 11990
build-model-states-explored 15265443 12114
build-model-states-explored 15277465 12022
build-model-states-explored 15289442 11977
build-model-states-explored 15301493 12051
build-model-states-explored 15313552 12059
build-model-states-explored 15325600 12048
build-model-states-explored 15337693 12093
build-model-states-explored 15349796 12103
build-model-states-explored 15361911 12115
build-model-states-explored 15374067 12156
build-model-states-explored 15385876 11809
build-model-states-explored 15397787 11911
build-model-states-explored 15409738 11951
build-model-states-explored 15421672 11934
build-model-states-explored 15433612 11940
build-model-states-explored 15445681 12069
build-model-states-explored 15457576 11895
build-model-states-explored 15469558 11982
build-model-states-explored 15481566 12008
build-model-states-explored 15493615 12049
build-model-states-explored 15505588 11973
build-model-states-explored 15517473 11885
build-model-states-explored 15529414 11941
build-model-states-explored 15541346 11932
build-model-states-explored 15553285 11939
build-model-states-explored 15565290 12005
build-model-states-explored 15577348 12058
build-model-states-explored 15589255 11907
build-model-states-explored 15601241 11986
build-model-states-explored 15613258 12017
build-model-states-explored 15625300 12042
build-model-states-explored 15637293 11993
build-model-states-explored 15649298 12005
build-model-states-explored 15661315 12017
build-model-states-explored 15673330 12015
build-model-states-explored 15685395 12065
build-model-states-explored 15697500 12105
build-model-states-explored 15709685 12185
build-model-states-explored 15721620 11935
build-model-states-explored 15733522 11902
build-model-states-explored 15745431 11909
build-model-states-explored 15757472 12041
build-model-states-explored 15769387 11915
build-model-states-explored 15781408 12021
build-model-states-explored 15793474 12066
build-model-states-explored 15805407 11933
build-model-states-explored 15817383 11976
build-model-states-explored 15829362 11979
build-model-states-explored 15841318 11956
build-model-states-explored 15853418 12100
build-model-states-explored 15865420 12002
build-model-states-explored 15877369 11949
build-model-states-explored 15889353 11984
build-model-states-explored 15901395 12042
build-model-states-explored 15913314 11919
build-model-states-explored 15925394 12080
build-model-states-explored 15937459 12065
build-model-states-explored 15949543 12084
build-model-states-explored 15961616 12073
build-model-states-explored 15973511 11895
build-model-states-explored 15985450 11939
build-model-states-explored 15997426 11976
build-model-states-explored 16009411 11985
build-model-states-explored 16021375 11964
build-model-states-explored 16033350 11975
build-model-states-explored 16045353 12003
build-model-states-explored 16057356 12003
build-model-states-explored 16069395 12039
build-model-states-explored 16081474 12079
build-model-states-explored 16092763 11289
build-model-states-explored 16104649 11886
build-model-states-explored 16116651 12002
build-model-states-explored 16128692 12041
build-model-states-explored 16140641 11949
build-model-states-explored 16152730 12089
build-model-states-explored 16164729 11999
build-model-states-explored 16176807 12078
build-model-states-explored 16188913 12106
build-model-states-explored 16200849 11936
build-model-states-explored 16212845 11996
build-model-states-explored 16224841 11996
build-model-states-explored 16236910 12069
build-model-states-explored 16248958 12048
build-model-states-explored 16261020 12062
build-model-states-explored 16273083 12063
build-model-states-explored 16285185 12102
build-model-states-explored 16297292 12107
build-model-states-explored 16309368 12076
build-model-states-explored 16321155 11787
build-model-states-explored 16333028 11873
build-model-states-explored 16344961 11933
build-model-states-explored 16356818 11857
build-model-states-explored 16368720 11902
build-model-states-explored 16380715 11995
build-model-states-explored 16392579 11864
build-model-states-explored 16404514 11935
build-model-states-explored 16416472 11958
build-model-states-explored 16428478 12006
build-model-states-explored 16440379 11901
build-model-states-explored 16452261 11882
build-model-states-explored 16464173 11912
build-model-states-explored 16476052 11879
build-model-states-explored 16487968 11916
build-model-states-explored 16499923 11955
build-model-states-explored 16511911 11988
build-model-states-explored 16523789 11878
build-model-states-explored 16535720 11931
build-model-states-explored 16547682 11962
build-model-states-explored 16559665 11983
build-model-states-explored 16571592 11927
build-model-states-explored 16583526 11934
build-model-states-explored 16595482 11956
build-model-states-explored 16607458 11976
build-model-states-explored 16619452 11994
build-model-states-explored 16631469 12017
build-model-states-explored 16643327 11858
build-model-states-explored 16655199 11872
build-model-states-explored 16667091 11892
build-model-states-explored 16678988 11897
build-model-states-explored 16690886 11898
build-model-states-explored 16702634 11748
build-model-states-explored 16714473 11839
build-model-states-explored 16726317 11844
build-model-states-explored 16738199 11882
build-model-states-explored 16750090 11891
build-model-states-explored 16762012 11922
build-model-states-explored 16773881 11869
build-model-states-explored 16784698 10817
build-model-states-explored 16796581 11883
build-model-states-explored 16808501 11920
build-model-states-explored 16820405 11904
build-model-states-explored 16832314 11909
build-model-states-explored 16844262 11948
build-model-states-explored 16856144 11882
build-model-states-explored 16868039 11895
build-model-states-explored 16879960 11921
build-model-states-explored 16891926 11966
build-model-states-explored 16903897 11971
build-model-states-explored 16915829 11932
build-model-states-explored 16927705 11876
build-model-states-explored 16939594 11889
build-model-states-explored 16951449 11855
build-model-states-explored 16963374 11925
build-model-states-explored 16975283 11909
build-model-states-explored 16987195 11912
build-model-states-explored 16999165 11970
build-model-states-explored 17011072 11907
build-model-states-explored 17023011 11939
build-model-states-explored 17035032 12021
build-model-states-explored 17047174 12142
build-model-states-explored 17059213 12039
build-model-states-explored 17071182 11969
build-model-states-explored 17082990 11808
build-model-states-explored 17094867 11877
build-model-states-explored 17106854 11987
build-model-states-explored 17118773 11919
build-model-states-explored 17130747 11974
build-model-states-explored 17142741 11994
build-model-states-explored 17154705 11964
build-model-states-explored 17166601 11896
build-model-states-explored 17178517 11916
build-model-states-explored 17190386 11869
build-model-states-explored 17202372 11986
build-model-states-explored 17214405 12033
build-model-states-explored 17226304 11899
build-model-states-explored 17238291 11987
build-model-states-explored 17250293 12002
build-model-states-explored 17262232 11939
build-model-states-explored 17274263 12031
build-model-states-explored 17286250 11987
build-model-states-explored 17298304 12054
build-model-states-explored 17310352 12048
build-model-states-explored 17322140 11788
build-model-states-explored 17334036 11896
build-model-states-explored 17345965 11929
build-model-states-explored 17357926 11961
build-model-states-explored 17369802 11876
build-model-states-explored 17381719 11917
build-model-states-explored 17393692 11973
build-model-states-explored 17405618 11926
build-model-states-explored 17417570 11952
build-model-states-explored 17429554 11984
build-model-states-explored 17441654 12100
build-model-states-explored 17453532 11878
build-model-states-explored 17465483 11951
build-model-states-explored 17477452 11969
build-model-states-explored 17489371 11919
build-model-states-explored 17501352 11981
build-model-states-explored 17513332 11980
build-model-states-explored 17525349 12017
build-model-states-explored 17537417 12068
build-model-states-explored 17549345 11928
build-model-states-explored 17561303 11958
build-model-states-explored 17573271 11968
build-model-states-explored 17585347 12076
build-model-states-explored 17597299 11952
build-model-states-explored 17609306 12007
build-model-states-explored 17621335 12029
build-model-states-explored 17633377 12042
build-model-states-explored 17645456 12079
build-model-states-explored 17657467 12011
build-model-states-explored 17669297 11830
build-model-states-explored 17681182 11885
build-model-states-explored 17693113 11931
build-model-states-explored 17705063 11950
build-model-states-explored 17716978 11915
build-model-states-explored 17728802 11824
build-model-states-explored 17740656 11854
build-model-states-explored 17752593 11937
build-model-states-explored 17764551 11958
build-model-states-explored 17776523 11972
build-model-states-explored 17788343 11820
build-model-states-explored 17800021 11678
build-model-states-explored 17811714 11693
build-model-states-explored 17823513 11799
build-model-states-explored 17835282 11769
build-model-states-explored 17846990 11708
build-model-states-explored 17858853 11863
build-model-states-explored 17870810 11957
build-model-states-explored 17882710 11900
build-model-states-explored 17894667 11957
build-model-states-explored 17906731 12064
build-model-states-explored 17918778 12047
build-model-states-explored 17930570 11792
build-model-states-explored 17942435 11865
build-model-states-explored 17954307 11872
build-model-states-explored 17966150 11843
build-model-states-explored 17978052 11902
build-model-states-explored 17989943 11891
build-model-states-explored 18001881 11938
build-model-states-explored 18013859 11978
build-model-states-explored 18025688 11829
build-model-states-explored 18037571 11883
build-model-states-explored 18049450 11879
build-model-states-explored 18061426 11976
build-model-states-explored 18073272 11846
build-model-states-explored 18085159 11887
build-model-states-explored 18097063 11904
build-model-states-explored 18109001 11938
build-model-states-explored 18120930 11929
build-model-states-explored 18132824 11894
build-model-states-explored 18144677 11853
build-model-states-explored 18156545 11868
build-model-states-explored 18168434 11889
build-model-states-explored 18180240 11806
build-model-states-explored 18192119 11879
build-model-states-explored 18204072 11953
build-model-states-explored 18216046 11974
build-model-states-explored 18227917 11871
build-model-states-explored 18239809 11892
build-model-states-explored 18251725 11916
build-model-states-explored 18263656 11931
build-model-states-explored 18275603 11947
build-model-states-explored 18287478 11875
build-model-states-explored 18299429 11951
build-model-states-explored 18311382 11953
build-model-states-explored 18323353 11971
build-model-states-explored 18335356 12003
build-model-states-explored 18347306 11950
build-model-states-explored 18359334 12028
build-model-states-explored 18371482 12148
build-model-states-explored 18383610 12128
build-model-states-explored 18395656 12046
build-model-states-explored 18407710 12054
build-model-states-explored 18419703 11993
build-model-states-explored 18431721 12018
build-model-states-explored 18443904 12183
build-model-states-explored 18456003 12099
build-model-states-explored 18468176 12173
build-model-states-explored 18480291 12115
build-model-states-explored 18492418 12127
build-model-states-explored 18504567 12149
build-model-states-explored 18516618 12051
build-model-states-explored 18528570 11952
build-model-states-explored 18540319 11749
build-model-states-explored 18551958 11639
build-model-states-explored 18563647 11689
build-model-states-explored 18575417 11770
build-model-states-explored 18587324 11907
build-model-states-explored 18599141 11817
build-model-states-explored 18610842 11701
build-model-states-explored 18622608 11766
build-model-states-explored 18634524 11916
build-model-states-explored 18646290 11766
build-model-states-explored 18658213 11923
build-model-states-explored 18670154 11941
build-model-states-explored 18682220 12066
build-model-states-explored 18694038 11818
build-model-states-explored 18705713 11675
build-model-states-explored 18717514 11801
build-model-states-explored 18729306 11792
build-model-states-explored 18741105 11799
build-model-states-explored 18752989 11884
build-model-states-explored 18765009 12020
build-model-states-explored 18776767 11758
build-model-states-explored 18788628 11861
build-model-states-explored 18800478 11850
build-model-states-explored 18812415 11937
build-model-states-explored 18824320 11905
build-model-states-explored 18836296 11976
build-model-states-explored 18848413 12117
build-model-states-explored 18860565 12152
build-model-states-explored 18872624 12059
build-model-states-explored 18884441 11817
build-model-states-explored 18896197 11756
build-model-states-explored 18908011 11814
build-model-states-explored 18919935 11924
build-model-states-explored 18931745 11810
build-model-states-explored 18943682 11937
build-model-states-explored 18955644 11962
build-model-states-explored 18967686 12042
build-model-states-explored 18979437 11751
build-model-states-explored 18991296 11859
build-model-states-explored 19003187 11891
build-model-states-explored 19015125 11938
build-model-states-explored 19027021 11896
build-model-states-explored 19038999 11978
build-model-states-explored 19051117 12118
build-model-states-explored 19063203 12086
build-model-states-explored 19075043 11840
build-model-states-explored 19086885 11842
build-model-states-explored 19098736 11851
build-model-states-explored 19110726 11990
build-model-states-explored 19122579 11853
build-model-states-explored 19134539 11960
build-model-states-explored 19146500 11961
build-model-states-explored 19158652 12152
build-model-states-explored 19170537 11885
build-model-states-explored 19182546 12009
build-model-states-explored 19194534 11988
build-model-states-explored 19206639 12105
build-model-states-explored 19218609 11970
build-model-states-explored 19230766 12157
build-model-states-explored 19242893 12127
build-model-states-explored 19254906 12013
build-model-states-explored 19266601 11695
build-model-states-explored 19278364 11763
build-model-states-explored 19290229 11865
build-model-states-explored 19301954 11725
build-model-states-explored 19313754 11800
build-model-states-explored 19325698 11944
build-model-states-explored 19337627 11929
build-model-states-explored 19349383 11756
build-model-states-explored 19361228 11845
build-model-states-explored 19373183 11955
build-model-states-explored 19385035 11852
build-model-states-explored 19396975 11940
build-model-states-explored 19408916 11941
build-model-states-explored 19420954 12038
build-model-states-explored 19432672 11718
build-model-states-explored 19444502 11830
build-model-states-explored 19456410 11908
build-model-states-explored 19468202 11792
build-model-states-explored 19480032 11830
build-model-states-explored 19491962 11930
build-model-states-explored 19503789 11827
build-model-states-explored 19515691 11902
build-model-states-explored 19527607 11916
build-model-states-explored 19539564 11957
build-model-states-explored 19551674 12110
build-model-states-explored 19563517 11843
build-model-states-explored 19575325 11808
build-model-states-explored 19587164 11839
build-model-states-explored 19599117 11953
build-model-states-explored 19610955 11838
build-model-states-explored 19622849 11894
build-model-states-explored 19634783 11934
build-model-states-explored 19646676 11893
build-model-states-explored 19658579 11903
build-model-states-explored 19670457 11878
build-model-states-explored 19682374 11917
build-model-states-explored 19694384 12010
build-model-states-explored 19706313 11929
build-model-states-explored 19718169 11856
build-model-states-explored 19730076 11907
build-model-states-explored 19742037 11961
build-model-states-explored 19753975 11938
build-model-states-explored 19765981 12006
build-model-states-explored 19777921 11940
build-model-states-explored 19789924 12003
build-model-states-explored 19802071 12147
build-model-states-explored 19814237 12166
build-model-states-explored 19826378 12141
build-model-states-explored 19838411 12033
build-model-states-explored 19850200 11789
build-model-states-explored 19861915 11715
build-model-states-explored 19873682 11767
build-model-states-explored 19885576 11894
build-model-states-explored 19897333 11757
build-model-states-explored 19909236 11903
build-model-states-explored 19921153 11917
build-model-states-explored 19933181 12028
build-model-states-explored 19944885 11704
build-model-states-explored 19956676 11791
build-model-states-explored 19968541 11865
build-model-states-explored 19980471 11930
build-model-states-explored 19992330 11859
build-model-states-explored 20004255 11925
build-model-states-explored 20016355 12100
build-model-states-explored 20028447 12092
build-model-states-explored 20040250 11803
build-model-states-explored 20052088 11838
build-model-states-explored 20063924 11836
build-model-states-explored 20075905 11981
build-model-states-explored 20087763 11858
build-model-states-explored 20099680 11917
build-model-states-explored 20111627 11947
build-model-states-explored 20123745 12118
build-model-states-explored 20135617 11872
build-model-states-explored 20147571 11954
build-model-states-explored 20159525 11954
build-model-states-explored 20171609 12084
build-model-states-explored 20183570 11961
build-model-states-explored 20195668 12098
build-model-states-explored 20207762 12094
build-model-states-explored 20219541 11779
build-model-states-explored 20231373 11832
build-model-states-explored 20243140 11767
build-model-states-explored 20255122 11982
build-model-states-explored 20266921 11799
build-model-states-explored 20278844 11923
build-model-states-explored 20290859 12015
build-model-states-explored 20302696 11837
build-model-states-explored 20314563 11867
build-model-states-explored 20326506 11943
build-model-states-explored 20338395 11889
build-model-states-explored 20350438 12043
build-model-states-explored 20362307 11869
build-model-states-explored 20374205 11898
build-model-states-explored 20386140 11935
build-model-states-explored 20398080 11940
build-model-states-explored 20410028 11948
build-model-states-explored 20422005 11977
build-model-states-explored 20433995 11990
build-model-states-explored 20446018 12023
build-model-states-explored 20458172 12154
build-model-states-explored 20470299 12127
build-model-states-explored 20482203 11904
build-model-states-explored 20493911 11708
build-model-states-explored 20505782 11871
build-model-states-explored 20517688 11906
build-model-states-explored 20529617 11929
build-model-states-explored 20541460 11843
build-model-states-explored 20553393 11933
build-model-states-explored 20565464 12071
build-model-states-explored 20577448 11984
build-model-states-explored 20589112 11664
build-model-states-explored 20601058 11946
build-model-states-explored 20613092 12034
build-model-states-explored 20625090 11998
build-model-states-explored 20637139 12049
build-model-states-explored 20649241 12102
build-model-states-explored 20661046 11805
build-model-states-explored 20672958 11912
build-model-states-explored 20684895 11937
build-model-states-explored 20696811 11916
build-model-states-explored 20708783 11972
build-model-states-explored 20720716 11933
build-model-states-explored 20732713 11997
build-model-states-explored 20744763 12050
build-model-states-explored 20756904 12141
----------
Computation aborted after 1800.2375297546387 seconds since the total time limit of 1800 seconds was exceeded.